- 2 402 202 книги
#1
Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics)
Jon BarwiseКатегория: Образование
43.63 Mb
#2
Logical Reasoning with Diagrams (Studies in Logic and Computation, 6)
Gerard Allwein, Jon BarwiseКатегория: Образование
11.40 Mb
#3
Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics)
Jon BarwiseКатегория: Образование
43.63 Mb
#5
Vicious Circles (Center for the Study of Language and Information - Lecture Notes)
Jon Barwise Lawrence S. Moss
15.41 Mb
#6
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (CSLI Lecture Notes)
Jon Barwise, Lawrence Moss
15.43 Mb
#7
Hyperproof: For Macintosh (Center for the Study of Language and Information - Lecture Notes)
Jon Barwise, John Etchemendy
11.94 Mb
#8
Handbook of Mathematical Logic
Jon Barwise (Editor)Категория: Математика, Математическая логика
8.77 Mb
#13
Language, proof and logic
Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu
2.42 Mb
#14
Language, Proof and Logic
Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu
3.72 Mb
#15
The liar: An essay on truth and circularity
Jon Barwise, John EtchemendyКатегория: Mathematical logic
1.16 Mb
#18
The Kleene symposium: Proceedings Madison, 1978
Stephen C. Kleene, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, University of Wisconsin--Madison, 1978 Kleene Symposium
2.82 Mb
#19
Language, Proof, and Logic
Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu
3.82 Mb
#21
The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Stephen C. Kleene, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, University of Wisconsin--Madison, 1978 Kleene Symposium
4.95 Mb
